semi-computable predicate

[网络] 半可计算谓词